package literal;

import atom.Atom;
import sign.FormulaSign;

public class UnaryLiteral extends Literal{
    public UnaryLiteral(Atom atom,boolean negated){
        super(atom,negated);
    }
}
